1
Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands,

Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands,

წელი:
2006
ენა:
english
ფაილი:
PDF, 2.51 MB
0 / 0
english, 2006
9
Intelligent Agents VIII

Intelligent Agents VIII

წელი:
2002
ენა:
english
ფაილი:
TXT, 1.30 MB
0 / 0
english, 2002
10
Specification and Verification of Multi-agent Systems

Specification and Verification of Multi-agent Systems

წელი:
2010
ენა:
english
ფაილი:
PDF, 7.95 MB
0 / 0
english, 2010
11
Dynamics and Management of Reasoning Processes

Dynamics and Management of Reasoning Processes

წელი:
2001
ენა:
english
ფაილი:
PDF, 27.85 MB
0 / 0
english, 2001
13
Agent-Based Defeasible Control in Dynamic Environments

Agent-Based Defeasible Control in Dynamic Environments

წელი:
2002
ენა:
english
ფაილი:
PDF, 17.68 MB
0 / 0
english, 2002
14
Specification and Verification of Multi-agent Systems

Specification and Verification of Multi-agent Systems

წელი:
2010
ენა:
english
ფაილი:
PDF, 3.55 MB
0 / 0
english, 2010
15
Specification and Verification of Multi-agent Systems

Specification and Verification of Multi-agent Systems

წელი:
2010
ენა:
english
ფაილი:
PDF, 3.55 MB
0 / 0
english, 2010
19
Formal Models of Agents: ESPRIT Project ModelAge Final Workshop Selected Papers

Formal Models of Agents: ESPRIT Project ModelAge Final Workshop Selected Papers

წელი:
1999
ენა:
english
ფაილი:
PDF, 6.30 MB
0 / 0
english, 1999
21
Specification and Verification of Multi-agent Systems

Specification and Verification of Multi-agent Systems

წელი:
2010
ენა:
english
ფაილი:
PDF, 4.23 MB
0 / 0
english, 2010